countable and uncountable set in discrete mathematics